continuations: continued and to be continued

radish-miyazaki.icon の知識では一部しか理解できなかった…

特に Algebraic Effect Handlers あたりは ??

Racket の call/cc は残りの計算全てを捕捉してしまう

呼び出したフォームで閉じているのでは無い

そのため、代わりに限定継続を使うと良い

限定継続は call/cc やモナドを実装でき、その逆も成り立つ

https://gyazo.com/cc5ce596086f1ce01ebe6508d423390d

継続渡しスタイル（CPS）を IR として採用する事例もある

https://gyazo.com/8cc0f4a9d11e657022e5ad9bb01a0518

メリット

関数を第一級オブジェクトとして扱う CPS は FPL と相性が良い

CPS では束縛が単一代入的であり、β 簡約や η 簡約などで多様な最適化が実装しやすい

手続き型言語と関数型言語の制御の移譲（control transfers）の対応付け

https://gyazo.com/f95ac9c5d1206eea993d1ce1f643d3a2

Handling effects とはどのような副作用（Effect）が起きたか、そしていつどのように再開するかを指す

いつどのように再開するか = 継続

モナドにも継続は現れる

https://gyazo.com/a8f55a998cbfb396d7fa870ae216d45f

副作用のある計算モデルの新しい手法

モナド変換子よりもモジュール化や合成が容易らしい